321. Network reliability : experiments with a symbolic algebra environment
پدیدآورنده : Daryl D. Harms ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Reliability ، Computer networks,Data processing ، Algebra
رده :
TK
5105
.
N46
322. New computing techniques in physics research IV
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Particles)Nuclear physics(- Data processing- Congresses,، Nuclear physics- Data processing- Congresses,، Artificial intellignce- Congresses,، Software engineering- Congresses,، Algebra- Data processing- Congresses
رده :
QC
793
.
47
.
E4I58
1995
323. Noncommutative Greobner bases and filtered-graded transfe
پدیدآورنده : / Huishi Li
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Associative rings, Data processing,Greobner bases,Algebra, Data processing,Filtered rings
324. Noncommutative Grobner bases and filtered-graded transfer
پدیدآورنده : Li, Huishi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Associative rings,، Grobner bases,Data processing ، Algebra,، Filtered rings
رده :
QA
3
.
L28
Vol
.
1795
325. Noncommutative Grobner bases and filtered-graded transfer
پدیدآورنده : / Huishi Li
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Associative rings- Data processing,Grobner bases,Algebra- Data processing,Filtered rings
رده :
QA3
.
L28
179
326. Noncommutative Grobner bases and filtered-graded transfer ]electronic resources[
پدیدآورنده : Li, Huishi
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Associative rings-- Data processing,، Grobner bases,، Algebra-- Data processing,، Filtered rings
رده :
QA
3
.
L28
no
.
1795
327. Numerical computing
پدیدآورنده : [by]& Lawrence F. Shampine [and]& Richard C. Allen, Jr
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع : Numerical analysis- Data processing,Algebra- Data processing
رده :
QA
,
297
,.
S46
,
1973
328. Numerical computing: an introduction
پدیدآورنده : Shampine, Lawrence F.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Numerical analysis ، Electronic data processing,Algebra ، Electronic data processing
رده :
QA
297
.
S46
329. Perturbation methods, bifurcation theory, and computer algebra
پدیدآورنده : Rand, R. H.)Richard H.(
موضوع : ، Perturbation )Mathematics(,، Bifurcation theory,، Algebra-- Data processing,، MACSYMA )Computer system(
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
330. Perturbation methods, bifurcation theory, and computer algebra
پدیدآورنده : Rand, Richard H.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Perturbation )Mathematics(,، Bifurcation theory,Data processing ، Algebra,، MACSYMA )Computer system(
رده :
QA
871
.
R35
1987
331. Perturbation methods, bifurcation theory, and computer algebra
پدیدآورنده : Rand, Richard H.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Perturbation )Mathematics(,، Bifurcation theory,Data processing ، Algebra,، MACSYMA )Computer system(
رده :
QA
1
.
A647
v
.
65
332. Perturbation methods, bifurcation theory, and computer algebra /
پدیدآورنده : Richard H. Rand, Dieter Armbruster.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Macsyma.,MACSYMA (Système informatique),Macsyma.,Algebra-- Data processing.,Bifurcation theory.,Perturbation (Mathematics),Bifurcation theory.,Algebra-- Data processing.,MACSYMA [Computer system].,calcul formel.,MACSYMA.,méthode Lindstedt.,méthode perturbation.,perturbation.,théorie bifurcation.,transformation Lie.,Algèbre-- Informatique.,Bifurcation, Théorie de la.,Perturbation (Mathématiques),Algebra-- Data processing.,Anwendung,Bifurcation theory.,Bifurcation, théorie de la.,Calcul formel.,Computeralgebra,Computeralgebra.,Differentialgleichung,Differentialgleichung.,MACSYMA,MACSYMA (système d'ordinateur),Perturbation (Mathematics),Perturbation (mathématiques),Programm,Störungstheorie,Störungstheorie.,Verzweigung,Verzweigung Mathematik
رده :
QA1
.
A647
vol
.
65
333. Polynomial algorithms in computer algebra
پدیدآورنده : Winkler, Franz, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Algebra,، Computer algorithms
رده :
QA
155
.
7
.
E4W5
334. Probabilistic Methods for Algorithmic Discrete Mathematics
پدیدآورنده : edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
335. Quantifier elimination and cylindrical algebraic decomposition
پدیدآورنده : B.F. Caviness, J.R. Johnson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.
336. REDUCE : software for algebraic computation
پدیدآورنده : Gerhard Rayna ; with a preface by Anthony C. Hearn,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : REDUCE )Computer program(,Algebra - Data processing
رده :
QA
.
E4R39
155
.
7
1987
337. Reduce: Software for Algebraic Computation
پدیدآورنده : Rayna, Gerhard, Gerhard Rayna
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، REDUCE )Computer Program(,، Algebra - Data Processing
رده :
QA
76
.
6
.
R3R4
338. Reduce : software for algebraic computaion
پدیدآورنده : Rayna, Gerhard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Algebra,، REDUCE
رده :
QA
155
.
7
.
E4R39
1987
339. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
340. Relativity and scientific computing: computer algebra, numerics, visualization
پدیدآورنده : F .W. Hehl, R .A. Puntigam, H. Ruder, eds
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Relativity )Physics(,Data processing ، Gravitation,Data processing ، Astrophysics,Data processing ، Algebra,، Visualization
رده :
QC
173
.
55
.
R445
1996
